Theorem Proving – alle Bücher

Alexander S Blum
Probing the Consistency of Quantum Field Theory I

This twövolume Element reconstructs and analyzes the historical debates on whether renormalized quantum field theory is a mathematically consistent theory. This volume covers the years the years immediate…

lieferbar ab 31.12.2025.

Buch

Methoden in der Teilhabeforschung

Schriften der Katholischen Hochschule Nordrhein-Westfalen - Band 44

The scientific debate on the social participation of people with disabilities and older people requires the adaptation of existing research methods as well as the development of new ones. This anthology r…

Erscheint bald

Buch

Keqi Shu, Yukun Lu, Amir Khajepour
Game Theory in Autonomous Driving

This book comprehensively explores the fundamental aspects of game theory and its application in autonomous driving, with an additional focus on real-world implementations. It provides robust examples of …

lieferbar ab 16.12.2025.

Buch

Automated Reasoning with Analytic Tableaux and Related Methods

This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during S…

lieferbar innerhalb 2-3 Wochen

Buch

Frontiers of Combining Systems

This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29--October 1, 2…

lieferbar innerhalb 2-3 Wochen

Buch

David A. Cox, John Little, Donal O'Shea
Ideals, Varieties, and Algorithms

Preface.- Notation for Sets and Functions.- 1 Geometry, Algebra, and Algorithms.- 2 Groebner Bases.- 3 Elimination Theory.- 4 The Algebra-Geometry Dictionary.- 5 Polynomial and Rational Functions on a Var…

lieferbar innerhalb 2-3 Wochen

Buch

Model Checking Software

Lecture Notes in Computer Science - Band 15945

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, Canada, during May 7--8, 2025.The 9 full papers included in this…

lieferbar ab 8.12.2025.

Buch

Nicholas M Katz, Pham Huu Tiep
Exponential Sums, Hypergeometric Sheaves, and Monodromy Groups

An examination of some of the remarkable connections between group theory and arithmetic algebraic geometry over finite fieldsExponential sums have been of great interest ever since Gauss, and their impor…

lieferbar innerhalb 1-2 Wochen

Buch

Nicholas M Katz, Pham Huu Tiep
Exponential Sums, Hypergeometric Sheaves, and Monodromy Groups

An examination of some of the remarkable connections between group theory and arithmetic algebraic geometry over finite fieldsExponential sums have been of great interest ever since Gauss, and their impor…

lieferbar innerhalb 1-2 Wochen

Buch